Jörg Wenzel's Documents

Jörg Wenzel's Documents

Isabelle-HOL - A Proof Assistant for Higher-Order Logic

Isabelle-HOL - A Proof Assistant for Higher-Order Logic
Read more
Cognitive Therapy for Suicidal Patients: Scientific and Clinical Applications

Cognitive Therapy for Suicidal Patients: Scientific and Clinical Applications
Read more
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Read more
Renewable Energies in Germanys Electricity Market: A Biography of the Innovation Process

Renewable Energies in Germanys Electricity Market: A Biography of the Innovation Process
Read more
French for Dummies

French for Dummies
Read more
Architecture of Modern Mathematics: Essays in History and Philosophy

Architecture of Modern Mathematics: Essays in History and Philosophy
Read more
Fundamentals of Ordinary Differential Equations

Fundamentals of Ordinary Differential Equations
Read more
The architecture of modern mathematics. Essays in history and philosophy

The architecture of modern mathematics. Essays in history and philosophy
Read more
Atheism and Theism (Great Debates in Philosophy)

Atheism and Theism (Great Debates in Philosophy)
Read more
The Architecture of Modern Mathematics: Essays in History and Philosophy

The Architecture of Modern Mathematics: Essays in History and Philosophy
Read more
Architecture of Modern Mathematics: Essays in History and Philosophy

Architecture of Modern Mathematics: Essays in History and Philosophy
Read more
Vector Measures (Mathematical Surveys, Number 15)

Vector Measures (Mathematical Surveys, Number 15)
Read more
Architecture of Modern Mathematics: Essays in History and Philosophy

Architecture of Modern Mathematics: Essays in History and Philosophy
Read more
Architecture of Modern Mathematics: Essays in History and Philosophy

Architecture of Modern Mathematics: Essays in History and Philosophy
Read more
Fundamentals of Ordinary Differential Equations

Fundamentals of Ordinary Differential Equations
Read more
Architecture of Modern Mathematics: Essays in History and Philosophy

Architecture of Modern Mathematics: Essays in History and Philosophy
Read more
Architecture of Modern Mathematics: Essays in History and Philosophy

Architecture of Modern Mathematics: Essays in History and Philosophy
Read more
Managing a Family

Managing a Family
Read more
Nahum

Nahum
Read more
Nazaret

Nazaret
Read more
Educational Theory As Theory of Conduct: From Aristotle to Dewey

Educational Theory As Theory of Conduct: From Aristotle to Dewey
Read more
Het a P Beerta Instituut

Het a P Beerta Instituut
Read more
Het A.P. Beerta Instituut

Het A.P. Beerta Instituut
Read more
Solution Manual to Modern Quantum Mechanics (1995,1999)

Solution Manual to Modern Quantum Mechanics (1995,1999)
Read more
Requiem Voor Een Vriend

Requiem Voor Een Vriend
Read more
Plankton

Plankton
Read more
Het Leven Op Aarde

Het Leven Op Aarde
Read more
De Moeder Van Nicolien

De Moeder Van Nicolien
Read more
Water Waves: The Mathematical Theory with Applications (Wiley Classics Library)

Water Waves: The Mathematical Theory with Applications (Wiley Classics Library)
Read more
Zombie DOA (Dead City; Dead On My Feet; The Dead Men; Dead On Arrival)

Zombie DOA (Dead City; Dead On My Feet; The Dead Men; Dead On Arrival)
Read more